Search results
1 – 2 of 2Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi and Akira Fukuda
This study aims to describe the behavior of blocks in the system under consideration using systems modeling language (SysML) state machine diagrams. In this paper, formalization…
Abstract
Purpose
This study aims to describe the behavior of blocks in the system under consideration using systems modeling language (SysML) state machine diagrams. In this paper, formalization and model checking for SysML state machine diagrams have been investigated.
Design/methodology/approach
The work by Zhang and Liu (2010) proposed a formalization of SysML state machine diagrams in which the diagrams were translated into CSP# processes that could be verified by the state-of-the-art model checker PAT. In this paper, several modifications have been made and new rules have been added to the translation described in that work.
Findings
First, three translation rules were modified, which apparently are inappropriately defined according to the SysML definition of state machine diagrams. Next, we add new translation rules for two components of the diagrams – junction and choice pseudostates – which have not been dealt with previously. Further, we are implementing the automatic translation system on a web-based model-driven development tool, which reflects on our translation rules.
Originality/value
As the contribution of this work, more reasonable verification results for more general SysML state machine diagrams can be achieved.
Details
Keywords
Osamu Tsukada, Ugo Ibusuki, Shigeru Kuchii and Anderson Tadeu de Santi Barbosa de Almeida
The purpose of this study is to explore the relationship between Lean manufacturing and Industry 4.0 for small and medium size of enterprise in Japan and Brazil.
Abstract
Purpose
The purpose of this study is to explore the relationship between Lean manufacturing and Industry 4.0 for small and medium size of enterprise in Japan and Brazil.
Design/methodology/approach
The authors conducted a quantitative survey (20 companies in Japan and 30 companies in Brazil) combined with a qualitative interview (2 companies in Japan and 15 companies in Brazil).
Findings
According to the quantitative study, 90% of them practice Lean manufacturing and 40% of them practice Industry 4.0. In the qualitative study in Brazil, four managers responded that the Lean manufacturing is a prerequisite for Industry 4.0 since any production process with waste cannot be productive, even with sophisticated digitalization technology.
Originality/value
The authors explored further the relationship between “defensive Digital Transformation (DX),” which is based mainly on Lean manufacturing, and “offensive DX,” which relates to customer value creation through Industry 4.0. This study clarifies the relationship and plays as a roadmap to develop better the manufacturing from current status to the vision of Industry 4.0.
Details